Simplifying radical expression